lambda(bimap(destroy)(identity[M])(split(x))) ==
  lambda(bimap(destroy)(identity[M])((f(x), g(x)))) ==
  lambda(((), g(x))) ==
  g(x)